341. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
342. 30, 2009, Revised Selected Lectures-23, 2009 and Komrno, Slovakia, May 25-Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21
پدیدآورنده : / k (eds.)لria Zsلth, Rinus Plasmeijer, Viktعn HorvعAdam Granicz (auth.), Zolt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
343. 19, 2010. Revised Selected Papers-Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17
پدیدآورنده : / k (eds.)لria Zsلth, Viktعn HorvعStephen Chang, David Van Horn, Matthias Felleisen (auth.), Rex Page, Zolt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
344. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
345. Ruby recipes :
پدیدآورنده : Malay Mandal
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ruby (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
R83
346. STACS 87 :
پدیدآورنده : edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science.,Computers.
347. Scala puzzlers
پدیدآورنده : Andrew Phillips, Nermin Šerifović.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)
348. Selected Topics in Operations Research and Mathematical Economics :
پدیدآورنده : edited by Gerald Hammer, Diethard Pallaschke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economics.
رده :
T57
.
6
.
A1
E358
1984
349. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
350. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
351. Simulation-Based Experiential Learning
پدیدآورنده : edited by Douglas M. Towne, Ton Jong, Hans Spada.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.
رده :
LB1029
.
S53
E358
1993
352. Social informatics :
پدیدآورنده : Karl Aberer ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information society -- Social aspects -- Congresses.,Information society -- Social aspects.,Information technology -- Social aspects -- Congresses.
رده :
T58
.
5
K375
2012
353. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
354. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Software engineering.
355. Software Fault Tolerance :
پدیدآورنده : edited by Manfred Kersken, Francesca Saglietti.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer system performance.,Data transmission systems.
رده :
QA76
.
9
.
F38
E358
1992
356. Software Pioneers :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2002
357. Software Quality :
پدیدآورنده : edited by Martin Wieczorek, Dirk Meyerhoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information systems.,Software engineering.
رده :
QA76
.
76
.
Q35
E358
2001
358. Specialising Simulator Generators for High-Performance Monte-Carlo Methods
پدیدآورنده : Gabriele Keller Affiliation: Programming Languages and Systems, School of Computer Science and Engineering, University of New South Wales,
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
7
G337
9999
359. Specification and compositional verification of real-time systems
پدیدآورنده : J. Hooman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Real-time data processing.,Real-time systemen.,Verificatie.
رده :
QA76
.
54
J466
1991